Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
41	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic
42	On the Semantics of “hope” -- From the Perspective of Modal Concord Add to Reading List Source URL: www.macsim.us Language: English - Date: 2011-06-24 13:35:02 Modality Modal logic Non-classical logic Philosophical logic Modal operator Verb Grammatical aspect
43	A/z-CALCULUS: INTERPRETATION NATURAL AN Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-04 07:32:04 Proof theory Logic in computer science Constructivism Non-classical logic Deductive reasoning Natural deduction Sequent calculus CurryHoward correspondence Intuitionistic logic Lambda calculus Negation Sequent
44	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
45	Microsoft Word - 1_2015 OMAS_MethRept_Final_121115_psg.docx Add to Reading List Source URL: osuwmcdigital.osu.edu Language: English - Date: 2016-01-11 16:18:41 Data collection Psychometrics Non-classical logic Market research Quantitative research Survey methodology B4C Modal logic
46	STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2014-09-10 14:56:21 Modal logic Non-classical logic Model theory Boolean algebra Philosophical logic Kripke semantics Interior algebra Heyting algebra Embedding Intermediate logic Normal modal logic Substitution
47	Preliminaries Frame Level Model Level A Modal Logic for Abstract Delta Modeling Frank de Boer Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:35 Modal logic Non-classical logic Philosophical logic Conceptual model Metaphor Simulation Normal modal logic Delta
48	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Model theory Non-classical logic Probability and statistics Boolean algebra Predicate logic Probabilistic logic Modal logic First-order logic Probability Interpretation Inductive probability Vector logic
49	Piotr KAŹMIERCZAK  +   http://piotrkazmierczak.com Munich, Germany Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-05 18:07:41 Non-classical logic Modal logic Modality Philosophical logic Logic Mathematical logic Haskell Proof theory Python
50	Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi Add to Reading List Source URL: stephenbach.net Language: English - Date: 2014-11-19 16:25:18 Fuzzy logic Quantification Logic in computer science Artificial intelligence Non-classical logic Probabilistic soft logic Fuzzy set Quantifier Fuzzy control system FO Universal quantification PSL